English linear logic: перевод на другие языки